State Diagram: InterruptRequest / State Diagram